Baldan, Paolo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Reduction of event structures under history preserving bisimulation

Armas-Cervantes, Abel, Baldan, Paolo, García-Bañuelos, Luciano

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.44 MB

english, 2015

2

Phytochemical investigations on Artemisia alba Turra growing in the North-East of Italy

Peron, Gregorio, Baldan, Valeria, Sut, Stefania, Faggian, Marta, Roccabruna, Lorenzo, Zanini, Daniele, Manzini, Paolo, Maggi, Filippo, Dall’Acqua, Stefano

Journal:

Natural Product Research

Year:

2016

Language:

english

File:

PDF, 956 KB

english, 2016

3

Poly(N-acryloylmorpholine) as a new soluble support for the liquid-phase synthesis of oligonucleotides

Gian M Bonora, Annarita Baldan, Oddone Schiavon, Paolo Ferruti, Francesco M Veronese

Journal:

Tetrahedron Letters

Year:

1996

Language:

english

File:

PDF, 225 KB

english, 1996

4

Concurrency cannot be observed, asynchronously

BALDAN, PAOLO, BONCHI, FILIPPO, GADDUCCI, FABIO, MONREALE, GIACOMA VALENTINA

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 645 KB

english, 2015

5

Unfolding-based diagnosis of systems with an evolving topology

Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 1.14 MB

english, 2010

6

Compositional semantics for open Petri nets based on deterministic processes

BALDAN, PAOLO, CORRADINI, ANDREA, EHRIG, HARTMUT, HECKEL, REIKO

Journal:

Mathematical Structures in Computer Science

Year:

2005

Language:

english

File:

PDF, 816 KB

english, 2005

7

Spectroscopic study of CHBrF[sub 2] up to 9500 cm[sup −1]: Vibrational analysis, integrated band intensities, and ab initio calculations

Charmet, Andrea Pietropolli, Stoppa, Paolo, Tasinato, Nicola, Baldan, Alessandro, Giorgianni, Santi, Gambi, Alberto

Journal:

The Journal of Chemical Physics

Year:

2010

Language:

english

File:

PDF, 260 KB

english, 2010

8

Outcome of Renal Transplantation from Very Old Donors

Rigotti, Paolo, Ekser, Burcin, Furian, Lucrezia, Baldan, Nicola, Valente, Maria Luisa, Boschiero, Luigino, Motterlini, Nicola, Perna, Annalisa, Remuzzi, Giuseppe, Ruggenenti, Piero

Journal:

Boston Medical and Surgical Journal

Year:

2009

Language:

english

File:

PDF, 150 KB

english, 2009

9

DEUTERIUM NUCLEAR MAGNETIC RESONANCE FOR EVALUATING THE METABOLIC STATUS OF LIVERS SUBJECTED TO WARM ISCHEMIA1

Scarpa, Marina, Corazza, Alessandra, Vianello, Fabio, Rigo, Adelio, Furian, Lucrezia, Baldan, Nicola, Rigotti, Paolo

Journal:

Transplantation Journal

Year:

2001

Language:

english

File:

PDF, 64 KB

english, 2001

10

Multilevel transitive and intransitive non-interference, causally

Baldan, Paolo, Beggiato, Alessandro

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.13 MB

english, 2018

11

[Lecture Notes in Computer Science] CONCUR 2014 – Concurrency Theory Volume 8704 || Qualitative Concurrent Parity Games: Bounded Rationality

Baldan, Paolo, Gorla, Daniele

Year:

2014

Language:

english

File:

PDF, 332 KB

english, 2014

12

Petri nets are dioids: a new algebraic foundation for non-deterministic net theory

Baldan, Paolo, Gadducci, Fabio

Journal:

Acta Informatica

Year:

2018

Language:

english

File:

PDF, 1.43 MB

english, 2018

13

Diagnosing behavioral differences between business process models: An approach based on event structures

Armas-Cervantes, Abel, Baldan, Paolo, Dumas, Marlon, Garcia-Bañuelos, Luciano

Journal:

Information Systems

Year:

2016

Language:

english

File:

PDF, 1.19 MB

english, 2016

14

Su1024 Fully Covered Self-Expandable Metallic Stents in Anastomotic Biliary Stenosis After Liver Transplantation: The Experience of a High Volume Transplantation Center

D'Aversa, Francesca, Baldan, Anna, Pecere, Silvia, Agazzi, Roberto, Gasbarrini, Antonio, Colledan, Michele, Ravelli, Paolo, Fagiuoli, Stefano

Journal:

Gastroenterology

Year:

2015

Language:

english

File:

PDF, 399 KB

english, 2015

15

Alterations in the Coagulation Profile in Renal Pig-to-Monkey Xenotransplantation

Emanuele Cozzi, Paolo Simioni, Massimo Boldrin, Michela Seveso, Fiorella Calabrese, Nicola Baldan, Massimo Castagnaro, Sabrina Gavasso, Mariangela Fadin, Patrizia Zerbinati, Daniela Tormene, Giulio To

Journal:

American Journal of Transplantation

Year:

2004

Language:

english

File:

PDF, 498 KB

english, 2004

16

Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta

Baldan, Paolo, Cocco, Nicoletta, Simeoni, Marta

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 538 KB

english, 2013

17

[Lecture Notes in Computer Science] CONCUR 2014 – Concurrency Theory Volume 8704 || Laws of Programming: The Algebraic Unification of Theories of Concurrency

Baldan, Paolo, Gorla, Daniele

Year:

2014

Language:

english

File:

PDF, 113 KB

english, 2014

18

Management of biliary anastomotic strictures after liver transplantation (BASALT study): A nationwide Italian survey

Cantù, Paolo, Parzanese, Ilaria, Balassone, Valerio, Di Sario, Antonio, Soggiu, Fiammetta, Lombardi, Giovanni, Barbaro, Federico, Pisani, Antonio, Baldan, Anna, Cariani, Giulio, Boarino, Valentina, Fa

Journal:

Liver Transplantation

Year:

2017

File:

PDF, 598 KB

2017

19

Vibrational spectra and normal coordinates analysis of cis-FHCCHI

Agostino Baldacci, Paolo Stoppa, Alessandro Baldan, Alberto Gambi

Journal:

Journal of Molecular Structure

Year:

2007

Language:

english

File:

PDF, 412 KB

english, 2007

20

Ureteral Stenosis in HDAF Pig-to-Primate Renal Xenotransplantation: A Phenomenon Related to Immunological Events?

Nicola Baldan, Paolo Rigotti, Fiorella Calabrese, Roberto Cadrobbi, Arben Dedja, Ilaria Iacopetti, Massimo Boldrin, Michela Seveso, Luigi Dall'Olmo, Laura Frison, Giulia De Benedictis, Daniele Bernard

Journal:

American Journal of Transplantation

Year:

2004

Language:

english

File:

PDF, 206 KB

english, 2004

21

A rewriting calculus for cyclic higher-order term graphs

BALDAN, PAOLO, BERTOLISSI, CLARA, CIRSTEA, HORATIU, KIRCHNER, CLAUDE

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 802 KB

english, 2007

22

A successful epidemic genotype: Clostridium difficile PCR ribotype 018

Baldan, Rossella, Trovato, Alberto, Bianchini, Valentina, Biancardi, Anna, Cichero, Paola, Mazzotti, Maria, Nizzero, Paola, Moro, Matteo, Ossi, Cristina, Scarpellini, Paolo, Cirillo, Daniela Maria

Journal:

Journal of Clinical Microbiology

Year:

2015

Language:

english

File:

PDF, 420 KB

english, 2015

23

[Lecture Notes in Computer Science] CONCUR 2014 – Concurrency Theory Volume 8704 ||

Baldan, Paolo, Gorla, Daniele

Year:

2014

Language:

english

File:

PDF, 8.97 MB

english, 2014

24

Warm Hepatic Ischemia in Pigs: Effects of L-Arginine and Oligotide Treatment

Burra, Patrizia, Chirizzi, Luca, Cardin, Romilda, Cadrobbi, Roberto, Baldan, Nicola, Calabrese, Fiorella, Pettenazzo, Elena, Calò, Lorenzo, Plebani, Mario, Rigotti, Paolo

Journal:

Journal of Investigative Surgery

Year:

2001

Language:

english

File:

PDF, 833 KB

english, 2001

25

Exploratory study of the glassy landscape near jamming

Artiaco, Claudia, Baldan, Paolo, Parisi, Giorgio

Journal:

Physical Review E

Year:

2020

File:

PDF, 1.68 MB

2020

26

Unfolding semantics of graph transformation

Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 824 KB

english, 2007

27

Modular encoding of synchronous and asynchronous interactions using open Petri nets

Baldan, Paolo, Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 599 KB

english, 2015

28

Processes and unfoldings: concurrent computations in adhesive categories

BALDAN, PAOLO, CORRADINI, ANDREA, HEINDEL, TOBIAS, KÖNIG, BARBARA, SOBOCIŃSKI, PAWEŁ

Journal:

Mathematical Structures in Computer Science

Year:

2014

Language:

english

File:

PDF, 1.47 MB

english, 2014

29

Contextual Petri Nets, Asymmetric Event Structures, and Processes

Paolo Baldan, Andrea Corradini, Ugo Montanari

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 395 KB

english, 2001

30

Early and very early hepatocellular carcinoma: when and how much do staging and choice of treatment really matter? A multi-center study

Fabio Farinati, Adriana Sergio, Anna Baldan, Anna Giacomin, Maria Anna Di Nolfo, Paolo Del Poggio, Luisa Benvegnu, Gianludovico Rapaccini, Marco Zoli, Franco Borzio, Edoardo G Giannini, Eugenio Cature

Journal:

Year:

2009

Language:

english

File:

PDF, 270 KB

english, 2009

31

A lattice-theoretical perspective on adhesive categories

Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König

Journal:

Journal of Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 725 KB

english, 2011

32

Petri nets for modelling metabolic pathways: a survey

Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta Simeoni

Journal:

Natural Computing

Year:

2010

Language:

english

File:

PDF, 620 KB

english, 2010

33

A category of compositional domain-models for separable Stone spaces

Fabio Alessi, Paolo Baldan, Furio Honsell

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 463 KB

english, 2003

34

Methotrexate for immunosuppression in life-supporting pig-to-cynomolgus monkey renal xenotransplantation

Emanuele Cozzi, Roberto Cadrobbi, Nicola Baldan, Arben Dedja, Fiorella Calabrese, Massimo Castagnaro, Fabio Fante, Massimo Boldrin, Ilaria Iacopetti, Licia Ravarotto, Paolo Carraro, Vincenzo Bronte, C

Journal:

Xenotransplantation

Year:

2003

Language:

english

File:

PDF, 353 KB

english, 2003

35

Dual kidney transplantation after liver transplantation: a good option to rescue a patient from dialysis

Burcin Ekser, Lucrezia Furian, Nicola Baldan, Alessandra Amico, Luca Fabris, Manuela Lazzarin, Francesco Marchini, Paolo Rigotti

Journal:

Clinical Transplantation

Year:

2009

Language:

english

File:

PDF, 202 KB

english, 2009

36

Microwave, High-Resolution Infrared, and Quantum Chemical Investigations of CHBrF 2 : Ground and v 4 = 1 States

Cazzoli, Gabriele, Cludi, Lino, Puzzarini, Cristina, Stoppa, Paolo, Charmet, Andrea Pietropolli, Tasinato, Nicola, Baldacci, Agostino, Baldan, Alessandro, Giorgianni, Santi, Larsen, René Wugt, Stopko

Journal:

Journal of Physical Chemistry A

Year:

2011

Language:

english

File:

PDF, 706 KB

english, 2011

37

CELSIOR®, A NEW ORGAN PRESERVATION SOLUTION, IN KIDNEY AND PANCREAS EXPERIMENTAL TRANSPLANTATION.

Baldan, Nicola, Rigotti, Paolo, Furian, Lucrezia, Sarzo, Giacomo, Cadrobbi, Roberto, Valente, Maria L., Ancona, Ermanno

Journal:

Transplantation Journal

Year:

2000

File:

PDF, 997 KB

2000

38

Preface

Baldan, Paolo, Gorla, Daniele

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 124 KB

english, 2016

39

Epidermal Mucilage Cells in Leaves of Salix Species

Mariani, Paola, Rascio, Nicoletta, Baldan, Barbara, Paiero, Paolo, Urso, Tiziana

Journal:

Flora - Morphology, Distribution, Functional Ecology of Plants

Year:

1988

Language:

english

File:

PDF, 971 KB

english, 1988

40

Endo-therapies for biliary duct-to-duct anastomotic stricture after liver transplantation: outcomes of a nationwide survey

Cantù, Paolo, Tarantino, Ilaria, Baldan, Anna, Mutignani, Massimiliano, Tringali, Andrea, Lombardi, Giovanni, Cerofolini, Angelo, Di Sario, Antonio, Catalano, Giorgia, Bertani, Helga, Ghinolfi, Davide

Journal:

Liver International

Year:

2018

File:

PDF, 327 KB

2018

41

Diagnostic and Prognostic Role of alpha-Fetoprotein in Hepatocellular Carcinoma: Both or Neither?

Farinati, Fabio, Marino, Dario, De Giorgio, Massimo, Baldan, Anna, Cantarini, Maria, Cursaro, Carmela, Rapaccini, Gianludovico, Del Poggio, Paolo, Di Nolfo, Maria Anna, Benvegnu, Luisa, Zoli, Marco, B

Journal:

American Journal of Gastroenterology

Year:

2006

Language:

english

File:

PDF, 138 KB

english, 2006

42

Transplantation of Warm Ischemia Damaged Kidneys: An Experimental Study in Pigs

Morpurgo, Emilio, Rigotti, Paolo, Capalbo, Mirella, Baldan, Nicola, Pittoni, Giovanni, Valente, Maria Luisa, Bindoli, Alberto, Ancona, Ermanno

Journal:

Year:

1993

Language:

english

File:

PDF, 389 KB

english, 1993

43

Gastrointestinal stromal tumors: report of an audit and review of the literature

Biasco, Guido, Velo, Daniela, Angriman, Imerio, Astorino, Maria, Baldan, Anna, Baseggio, Matteo, Basso, Umberto, Battaglia, Giorgio, Bertin, Matteo, Bertorelle, Roberta, Bocus, Paolo, Brosolo, Piero,

Journal:

European Journal of Cancer Prevention

Year:

2009

Language:

english

File:

PDF, 216 KB

english, 2009

44

Characterization of Lipopeptides Produced by Bacillus licheniformis using Liquid Chromatography with Accurate Tandem Mass Spectrometry

Favaro, Gabriella, Bogialli, Sara, Di Gangi, Iole Maria, Nigris, Sebastiano, Baldan, Enrico, Squartini, Andrea, Pastore, Paolo, Baldan, Barbara

Journal:

Rapid Communications in Mass Spectrometry

Year:

2016

Language:

english

File:

PDF, 1.18 MB

english, 2016

45

Many-to-many information flow policies

Baldan, Paolo, Lluch Lafuente, Alberto

Journal:

Science of Computer Programming

Year:

2018

Language:

english

File:

PDF, 1018 KB

english, 2018

46

Heterotopic cardiac xenotransplantation in rodents: Report of a refined technique in a hamster-to-rat model

Arben Dedja, Luigi Dall'olmo, Roberto Cadrobbi, Nicola Baldan, Fabio Fante, Fiorella Calabrese, Paolo Rigotti, Mariano Ferraresso, Luc Delriviere, Emanuele Cozzi, Ermanno Ancona

Journal:

Year:

2005

Language:

english

File:

PDF, 388 KB

english, 2005

47

Modelling Calculi with Name Mobility using Graphs with Equivalences

Paolo Baldan, Fabio Gadducci, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

48

Plasma fibrinolytic capacity in renal transplant recipients: effect of steroid-free immunosuppression therapy

Sartori, Maria T., Rigotti, Paolo, Marchini, Francesco, Spiezia, Luca, Baldan, Nicola, Furian, Lucrezia, Varvarikis, Costantino, Girolami, Antonio

Journal:

Transplantation Journal

Year:

2003

Language:

english

File:

PDF, 322 KB

english, 2003

49

Fixpoint games on continuous lattices

Baldan, Paolo, König, Barbara, Mika-Michalski, Christina, Padoan, Tommaso

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

File:

PDF, 497 KB

2019

50

Mumps-associated nephritis mimicking acute rejection in a patient under chronic dialysis treatment because of graft dysfunction

Francesca B. Aiello, Fiorella Calabrese, Lucrezia Furian, Nicola Baldan, Francesco Marchini, Paolo Rigotti, Marialisa Valente

Journal:

Transplant International

Year:

2002

Language:

english

File:

PDF, 157 KB

english, 2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски